when did lucifer become the devil